потоковая машина с реализацией передачи маркёра

Information technology: tag-token machine, tagged-token machine